Martín Abadi: ძიება ვებგვერდზე Z-Library

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

Don't use scam websites

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

A theory of Objects

A theory of Objects

Martín Abadi, Luca Cardelli

წელი:

1996

ენა:

english

ფაილი:

PDF, 25.93 MB

5.0 / 5.0

english, 1996

2

A theory of objects

A theory of objects

Martín Abadi, Luca Cardelli

წელი:

1996

ენა:

english

ფაილი:

DJVU, 3.04 MB

0 / 0

english, 1996

3

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)

წელი:

1990

ენა:

english

ფაილი:

DJVU, 7.52 MB

0 / 0

english, 1990

4

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.)

წელი:

1992

ენა:

english

ფაილი:

DJVU, 7.05 MB

0 / 0

english, 1992

5

Principles of Security and Trust: Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Principles of Security and Trust: Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Steve Kremer, (eds.)

წელი:

2014

ენა:

english

ფაილი:

PDF, 5.82 MB

0 / 0

english, 2014

6

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Editorial Verbo Divino

Philippe Abadie & Pierre de Martin de Viviès

წელი:

2018

ენა:

spanish

ფაილი:

PDF, 1.12 MB

0 / 0

spanish, 2018

7

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)

წელი:

1994

ენა:

english

ფაილი:

DJVU, 4.20 MB

0 / 0

english, 1994

8

Los cuatro libros de Esdras: Cuaderno Bíblico 180 (Cuadernos Bíblicos) (Spanish Edition)

Los cuatro libros de Esdras: Cuaderno Bíblico 180 (Cuadernos Bíblicos) (Spanish Edition)

Editorial Verbo Divino

Martin de Viviès, Pierre de & Abadie, Philippe

წელი:

2018

ენა:

spanish

ფაილი:

EPUB, 3.07 MB

0 / 4.5

spanish, 2018

9

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 7.24 MB

0 / 0

english, 2009

10

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

წელი:

2007

ენა:

english

ფაილი:

PDF, 4.33 MB

0 / 0

english, 2007

11

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 7.16 MB

0 / 0

english, 2012

12

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)

წელი:

1990

ენა:

english

ფაილი:

PDF, 15.92 MB

0 / 0

english, 1990

13

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.)

წელი:

1992

ენა:

english

ფაილი:

PDF, 15.33 MB

0 / 0

english, 1992

14

Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

Springer International Publishing

Martín Abadi, Alberto Lluch Lafuente (eds.)

წელი:

2014

ენა:

english

ფაილი:

PDF, 7.55 MB

0 / 0

english, 2014

15

CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Dawson Engler (auth.), Martín Abadi, Luca de Alfaro (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 7.36 MB

0 / 0

english, 2005

16

CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Dawson Engler (auth.), Martín Abadi, Luca de Alfaro (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 4.84 MB

0 / 0

english, 2005

17

Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Ted Wobber (auth.), David de Frutos-Escrig, Manuel Núñez (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 3.70 MB

0 / 0

english, 2004

18

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Editorial Verbo Divino

Philippe Abadie & Pierre de Martin de Viviès

წელი:

2018

ენა:

spanish

ფაილი:

AZW3 , 2.47 MB

0 / 0

spanish, 2018

19

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Editorial Verbo Divino

Philippe Abadie & Pierre de Martin de Viviès

წელი:

2018

ენა:

spanish

ფაილი:

EPUB, 2.40 MB

0 / 0

spanish, 2018

20

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Editorial Verbo Divino

Philippe Abadie & Pierre de Martin de Viviès

წელი:

2018

ფაილი:

LIT , 477 KB

0 / 0

2018

21

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 9.99 MB

0 / 5.0

english, 2009

22

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Editorial Verbo Divino

Philippe Abadie & Pierre de Martin de Viviès

წელი:

2018

ენა:

spanish

ფაილი:

FB2 , 672 KB

0 / 0

spanish, 2018

23

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Editorial Verbo Divino

Philippe Abadie & Pierre de Martin de Viviès

წელი:

2018

ენა:

spanish

ფაილი:

MOBI , 501 KB

0 / 0

spanish, 2018

24

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Los cuatro libros de Esdras: Cuaderno Bíblico 180

Editorial Verbo Divino

Philippe Abadie & Pierre de Martin de Viviès

ფაილი:

RTF , 670 KB

0 / 0

25

Los cuatro libros de Esdras

Los cuatro libros de Esdras

Editorial Verbo Divino

Philippe Abadie, Pierre de Martin de Viviès

წელი:

2018

ენა:

spanish

ფაილი:

PDF, 747 KB

0 / 4.0

spanish, 2018

26

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.)

წელი:

1989

ენა:

english

ფაილი:

DJVU, 7.09 MB

0 / 0

english, 1989

27

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings

Springer-Verlag Berlin Heidelberg

Nathan Whitehead, Jordan Johnson, Martín Abadi (auth.), Kedar S. Namjoshi, Tomohiro Yoneda, Teruo Higashino, Yoshio Okamura (eds.)

წელი:

2007

ენა:

english

ფაილი:

PDF, 6.10 MB

0 / 0

english, 2007

28

Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Wolfgang Thomas (eds.)

წელი:

1999

ენა:

english

ფაილი:

PDF, 3.15 MB

0 / 0

english, 1999

29

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Alessandro Aldini, Roberto Gorrieri (eds.)

წელი:

2007

ენა:

english

ფაილი:

PDF, 6.64 MB

0 / 0

english, 2007

30

ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings

ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Luca Cardelli (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 4.98 MB

0 / 0

english, 2003

31

Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings

Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings

Springer-Verlag Berlin Heidelberg

Martin Abadi, Zohar Manna (auth.), Rohit Parikh (eds.)

წელი:

1985

ენა:

english

ფაილი:

DJVU, 4.53 MB

0 / 0

english, 1985

32

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.)

წელი:

1989

ენა:

english

ფაილი:

PDF, 17.98 MB

0 / 0

english, 1989

33

Theoretical Aspects of Computer Software: Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings

Theoretical Aspects of Computer Software: Third International Symposium, TACS'97 Sendai, Japan, September 23–26, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Robin Milner (auth.), Martín Abadi, Takayasu Ito (eds.)

წელი:

1997

ენა:

english

ფაილი:

DJVU, 6.63 MB

0 / 0

english, 1997

34

Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Ted Wobber (auth.), David de Frutos-Escrig, Manuel Núñez (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 4.32 MB

0 / 0

english, 2004

35

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Luca Cardelli (auth.), Donald Sannella (eds.)

წელი:

1994

ენა:

english

ფაილი:

PDF, 7.96 MB

0 / 0

english, 1994

36

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Tim Harris (auth.), Mario Bravetti, Gianluigi Zavattaro (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 7.29 MB

0 / 0

english, 2009

37

Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi (auth.), Wolfgang Thomas (eds.)

წელი:

1999

ენა:

english

ფაილი:

PDF, 34.73 MB

0 / 0

english, 1999